$Header: /home/dice/com/doc/RCS/dice_commands.doc,v 30.8 1994/08/18 05:37:09 dice Exp dice $ : A standard header containing the full pathname of the RCS
: file, the revision number, the date, the author, the state,
$Id: dice_commands.doc,v 30.8 1994/08/18 05:37:09 dice Exp dice $ : Same as $Header: /home/dice/com/doc/RCS/dice_commands.doc,v 30.8 1994/08/18 05:37:09 dice Exp dice $, except more useful. Rather than the full